Now you can use https://gitlab.fipps.de without specifying a port.