Eigentlich sollte nach dem Versuch über die DHCP Option auch eine suche nach dem DNS Eintrag "wpad" stattfinden. In diesem kann man dann leider nur die IP Adresse verpacken, nicht aber die Portnummer "8080". Das lässt sich dann aber über eine DNat Regel ermogeln...
Eigentlich sollte nach dem Versuch über die DHCP Option auch eine suche nach dem DNS Eintrag "wpad" stattfinden. In diesem kann man dann leider nur die IP Adresse verpacken, nicht aber die Portnummer "8080". Das lässt sich dann aber über eine DNat Regel ermogeln...