Also, if I understand bash scripting correctly, there is an unreachable section
in setting the default gateway:
if [ "x$ACTIVEPROV" = "x$PROVIDER" -a "x$ART" = "xautomatisch" -a "$ART" =
"automatic" ]; then
As far as I can determine, there's no way that $ART can both be "automatisch"
and "automatic"...