No exact translation found for "Hauptsatz"