Γιγαντοπνικτορήκτης Save DGE Γιγαντοπνικτορήκτης -ου, ὁ estrangulador y destructor de gigantes, Mus.Belg.18.1914.32.