Seltsamerweise haben »unsere« großen Waffen die Namen von Tierarten, während die großen Tiere in unseren Zoos wie Menschen heißen, z.B. Knut. Der erste nach dem Krieg wieder von einem deutschen Rüstungskonzern (Krauss-Maffei) gebaute Kampfpanzer wurde 1965 vom Verteidigungsminister auf den Namen Leopard getauft. Dabei wurde auf die »Gefährlichkeit« für den Menschen abgehoben. Seitdem wurden die Bundeswehrpanzer nach immer kleineren Raubtieren benannt: Jaguar, Luchs, Fuchs, Dachs, Marder, Wiesel … Vor dem Krieg war die Entwicklung genau andersherum verlaufen. Das ging vom Panther über den Tiger zum Königstiger (der Ende 1944 erstmals zum Einsatz kam).

Die sowjetischen hatten dagegen zumeist abgekürzte Namen von Chefkonstrukteuren bzw. Oberbefehlshabern. Der berühmteste, im Traktorenwerk von Charkow hergestellte »beste Panzer der Welt« (Feldmarschall Ewald von Kleist) wurde unter dem Namen T-34 in über 50 Länder exportiert. T steht für »Tank« (Panze...