use a gavel - German English Dictionary