Fixing shortcuts in the German version, hopefully for good this time...