2014-06-14 23:51 GMT+02:00 Amir Ladsgroup <ladsgroup(a)gmail.com>om>:
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.