unabhängig von den Maßen: Deepsea und Big Pilot scheinen sich nicht so wild zu unterscheiden, was die Größe inkl. Hörner betrifft