Wir sind ein 7-köpfiger BR ohne Ersatzmitglieder. Jetzt ist ein BR-Mitglied zurückgetreten. Ob und/oder wann muss ich dem AG melden, dass dieses BR-Mitglied zurückgetreten ist?