Wie viele Bundeswehr-Kräfte sind im Moment noch im Einsatz gegen Corona?