Bring docker up to date

Ghost User
2021-05-10T16:21:05+02:00

Currently, the docker branch still tries to fetch from gitlab.science.ru.nl