Wer vergibt die Betriebsnummer?