Bei uns soll ein Betriebsarzt über einen überbetrieblichen Dienst eingestellt werden. Muss dieser bestellt werden und haben wir in diesem Fall Mitbestimmung?