This is an old revision of the document!
Since Java applets are not supported anymore by basically all important webbrowsers, we choose to provide a Java Webstart file instead. It is not signed with a valid certificate, sorry!
Java Webstart file