Translation of "Rauhtiefenmessgerät" in English