Amtsarzt — physician and civil servant in governmental health administration