My thanks go to
Robert Bihlmeyer <robbe@orcus.priv.at>
Norbert Preining <preining@logic.tuwien.ac.at>
Robert Waldner <waldner@waldner.priv.at>
for valuable hints and suggestions regarding this piece of software.