also mim VLC weiss ich wie es geht: "einstellungen" -> "input / codecs" dann unten rechtes "erweiterte optionen" dann hast eh im rechten bereich drei eingabefester fuer die socks einstellungen. user/pass brauchst eh net und beim server: "socks.tuwien.ac.at:1080"