Wenn Mitarbeiter durch einen Firmentrarifvertrag in Vergütungsgruppen eingestuft werden müssen, muss dazu der BR hinzugezogen werden?