Die Bundeswehr benennt ihre Panzer nach Großkatzen. Wie schon die Wehrmacht.