Translation of "Carpenters square" in German