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.