Merge branch 'develop' into 'master'

Change production host

See merge request t3o/typo3.org!368
7 jobs for master in 13 minutes and 56 seconds (queued for 1 second)