Ist es Pflicht einen Betriebsarzt zu haben?