Merge branch 'task/use-new-prod-server' into 'develop'

Use new production server

See merge request t3o/typo3.org!259
4 jobs for develop in 3 minutes and 45 seconds (queued for 2 seconds)