Hello David! I've been a lot on work and have now time to send You my address: Gilbert Roser Behaimstr. 15 10585 Berlin Germany My email address: efferd at cs.tu-berlin.de You don't have to haste Yourself! Thanks in advance -- Gilbert