Translation of "Executive proceedings" in German