This morning gitlab.science.ru.nl was not working correctly or at all. Finally a reboot of the host fixed all issues.