Closed jochi44 closed 7 months ago
I really tried but have no idea how to update the german version of the user manual.
This should close #859.
I really tried but have no idea how to update the german version of the user manual.