Wie werden halbtagsbeschäftigte gezählt, wenn es um die Anzahl der Betriebsräte in einer Firma geht ?