«Holy Roman Empire» in German with a Parallel Translation