You think so? I find the German translation (though it uses a couple of rather uncommon terms) quite okay. One of the problems is, that for some of the english words that are used e.g. for buttons there is not really a good German equivalent.