Komisch, das passiert immer mal wieder. Ich habe versucht die Netzwerkroute einzurichten über den Terminal Befehl:
sudo networksetup -setadditionalroutes "Ethernet" 188.144.0.0 255.255.0.0 1xx.xx.xx.xx
das hat aber leider auch nach Neustart nicht geholfen. Was kann ich noch tun?