[SebastianS]

also einfärben ist einfach:

• du machst die grafik auf (Datei -> Öffnen)
  
• einfärben (Bild -> Anpassen -> Farbe ersetzen)
  
• mit der Pipette das rot auswählen
  
• die toleranz so weit verstellen das alles rot in dem schwarzen kästchen darunter zu sehen ist
  
• so lange an den farbreglern schieben bis die farbe passt
  
• OK drücken
  
• Speichern (Datei -> Für web speichern)
  
• bei Voreinstellungen (rechts oben) "Gif 32 kein Dithering" auswählen
  
• Häckchen bei Transparenz machen
  
• -> Speichern

so das mit den auspixeln kommt gleich ...