thanks go to

Robert Bihlmeyer <robbe@orcus.priv.at>
and Norbert Preining <preining@logic.tuwien.ac.at>

for valuable hints and suggestions regarding this software.