Unfortunately, a recent update seems to have broken Jenkins. As I am going on holidays for the next two weeks, this means it will be gone for at least two weeks. Sorry for that.
Olaf
--
Dr. rer. nat. Olaf Lenz
Institut für Computerphysik, Allmandring 3, D-70569 Stuttgart