[ jhutch ] pgp key jh@jhut.ch