Einen Elefanten verspeisen