This is an old revision of the document!
The information on this website is provided under different licenses depending on their source. In general, everything on this website, unless explicity marked (see exceptions below), is under an open documentation license, specifically: Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0).