Just for information: We got it working again after 2 hours of work. The workaround described here works. Thanks.
Just for information: We got it working again after 2 hours of work. The workaround described here works. Thanks.