Wie viele Panzer hatte die Bundeswehr?