Malte,
I am using 5.15, upgraded when the latest edition came available. I didn't use bugtracker as it seems to be an isolated problem on my site, not a general system failure. I was hoping this would help to reduce the number of official bugs in the bugtracker.

cheers
Ben