28-10-2013, Monday-10:57:54
Ich habe anno dazumal gleich in der gewünschten Größe (also z.B. 128 mal 128 Pixel) gerendert, dann aber noch via Grafikprogramm (behutsam) nachgeschärft. Das anschließende Ausschneiden ist natürlich eine Fummel- und Fleißarbeit.