Dit document mag in elke vorm worden gekopieerd, vertaald, uitgebreid en/of
gedistribueerd. Vermeld wel waar het oorspronkelijke document vandaan komt. En
vertel het ons (jarkko@gmx.net en m.herrman@student.tue.nl) ook
even! Dan weten wij ook wat er allemaal met dit document gebeurt.