"judicial district" Deutsche bedeutung