Ich sehe gerade noch, für 40 Euro bekommt man bei Thommen gerade mal ein Lederetui für den Höhenmesser (Quelle: Globetrotterkatalog). Nun ja...

Dirk