Gerade auf Wikipedia und auch sonst findet man glücklicherweise immer häufiger Vektorgrafiken, die
man verlustfrei beliebig skaliert in normale gepixelte Grafikdateien umwandeln kann.

Unser Freund und Helfer ist wieder convert von ImageMagick, mit dem Befehl

convert -density 300 in.svg out.png

Der Parameter von Density vergrößert die Ausgabedatei linear in Länge und Breite.