Ist das der (deutsche) offizielle Name - Zwergmammut? Denn es gibt ja durchaus andere (und kleinere) kleine Mammutarten. Die werden ja im Artikel benannt (ich habe sie mal verlinkt)... Im Artikel Kreta-Zwergmammut heißt es dann: