Does anyone know where I can find the proxy settings in Firefox 10.0.1? My version is in German and I'm not even quite sure what to look for/what it would be called. Didn't see anything in the Einstellungen just now but it could well be that I simply overlooked it or didn't recognize it as being what I was looking for.