very simple log-in porcedure
improved login/logout
futher improvements of the log-in procedure

however it turns out that cookies are not the solution, because they
do not work cross domain (as needed in a bookmarklet)