Sorry folks, problem solved! As it turns out, one of the stacks in the preferences file was somehow corrupted. I replaced the /rev file with the /rev~ file and now all works again. I hope nobody put a lot of effort into solving this! Cheers, Lars