In the meantime you can grab the t32k from here: http://homepages.fh-giessen.de/~hg11001/other_projects.htm