Translation of "Outside micrometer" in German