Nov. 25, 2021: Due to a technical problem, the server is currently not operating. We hope to be back as soon as possible, probably in the next few days.
Contact: Ulrich Görtz, ug@geometry.de