Debian: Ipmasq und virtuelles Interface