I really thought some time about remapping the / on the german keyboard (which is Shift-7) to 7 and vice versa (yeah, http:77site.com7foo7bar7page.html). But in the meantime I learned to hit the keys properly and switched to another system altogether.