Greg Wooledge:
chmod 1777 /var/tmp
Yes, that works, of course! But I do not understand why the settings are wrong. I never changed these, so this could only be happened at some upgrade, but the this should be discovered by other people, too. However, maybe other applications do never use /var/tmp, so no one could notice it.
Thanks for it anyway! Best regards Hans