Translation of "Hauptsacheentscheidung" in English