please update the translation :-)

I managed to get a simple way for adapting the graphics automatically.
I changed them to SVGs and apply a PHP script which generates the necessary graphics.
I haven't finished it yet, but it's no wizardry; just a bit of PHP substr/strpos gymnastics and a bit of JavaScript coding. It should be working till tomorrow.

-pat