To add your machine to the catalogue, please send an email to Karsten Berns (berns<at>informatik.uni-kl.de) for more information.