Croatian-German: translation for "vojni sudac"