In the next weeks (till begin of September) the Wiki service might be down from time to time due to maintenance work of the server.
Especially on August 16th, we await an interruption for several hours. Please let us know if printable copies of partially content would help in the meantime.

Sorry for the inconvenience