Apply patches from the server

Georg Krauserequested to merge
server into main

Those are all the changes which were made on the server. We should check which are actually useful or which might get us in trouble.

Merge request reports