Translation of "Geschliffener estrich" in English