This is the last working version NOT to use Tobe Nipkow's new meta-parser.
It is now obsolete.
