Das Konvertieren der Icons mit convert ist eine Quick-and-Dirty-Lösung mit mässigem Ergebnis, das mir aber ausreicht. Da gibt es sicher eine bessere Lösung.