Sure, thank you. That page was obviously created by me in old times when I was unemployed and spent all my time with Wikipedia, but now I live in a different world and forgot the whole thing. :-)

Someone however moved it to manual, althogh I told it was not a manual at all. Never mind.