cf. Hammerhai Hammerfisch (ant.).