whip made of sea-cow's hide - German English Dictionary