karlstroetmann/Logik — pull request #1 by Danghor (2014-08-19 22:21:37+00:00)
Title: new orthography

Adjustments according to the new German orthography.