Changing the port did not work.
Also playing with the DNS options like someone recommended in other threads is of no use.