Image Resize

Aus aktuellem Anlass hier ein kleines Tool zum Skalieren von Bildern, eine Aufgabe, die immer mal wieder anfällt, insbesondere dann, wenn man ein wenig Webdesign betreibt.
In stark reduzierter Form existierte das schon lange in meinem Fundus, aber zuletzt war es mir dann doch zuviel geworden, den Einzeiler für jeden Anwendungsfall neu anzupassen .
(Und ja, ich weiss: es gibt prima GUI Tools für diese Aufgabe, die ich auch gerne einsetze, insbesondere z.B. Weiterlesen...