— Elefanten Jumbo död.