Translation of "Hohldielendecke" in English