Copyright Wubbo de Jong 1996 all rights reserved
