Größtes Krokodil der Welt ist tot – Trauer um „geliebten Freund“