"ocular micrometer" Deutsche bedeutung