Seite wurde angelegt, weil der Google-Übersetzer die Seite nicht übersetzen wollte und ich vermutete, daß das an der etwas ungewöhnlichen URL liegen könnte. Und tatsächlich, eine Seite mit dem gleichen Quellcode im User-Space übersetzte Google problemlos.