[Marc]

Für das Umwandeln ist kein spezielles Tool erforderlich. *.ICO Dateien sind ganz normale BMPs, nur mit anderer Endung. Es reicht also aus, die Dateiendung umzubenennen.