TT thanks a lot! for this - it works. Interesting comparison: the jQuery version of my dragger is 23 lines of code inluding all callbacks. The plain javascript version is 22 lines (but, alas, doesnt require the jQuery library of course).
I also notice that while dragging, especially in firefox, the motion is a bit choppy compared to the plain javascript version. It looks like the jquery in this particualr case doesn't really offer an advantage. Next, I will try to figure out how to use the plain javascript version and make it into a plugin. I'm having problems with the document.mousemove event (what else is new).