an instrument used for pushing down the tongue - German English Dictionary