Was ist unter dem Begriff "eine im Betrieb vertretene Gewerkschaft" zu verstehen