Of course, after all my nice talk about [Sodipodi](http://sodipodi.sourceforge.net], I had to find some errors. It seems like the PNG export changes the value of my red. #932822 was the original color, Sodipodi changed it to #832822. I have no idea why. Anyhow, after a little bit of manual fiddling with the gimp, the images are now ok. I should learn how to script the gimp so that I can do those things automatically.