leitender Vermessungsbeamter im Bergbau