Dec 302016
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.