Closed dirker closed 3 years ago
Translation by Google Translate. Also some minor whitespace cleanup.
Translation by Google Translate. Also some minor whitespace cleanup.