I have a Linux system with Firefox and for example this proxy.pac from the server:
if (shExpMatch(host, "*.de")) { return "PROXY [fd00::1]:8080