I migrated this server from a physical host at my company to Digital Ocean, Frankfurt/Main. Using this opportunity I added HTTPS with certificates from Let’s Encrypt and forwarded requests for port 80 to port 443.

If you encounter any problems feel free to comment. I will try to apply fixes as soon as possible.