judge in charge of a judicial district - German English Dictionary