Merge branch 'master' into DIRK
Paragraph times

The times per paragraph are now shown on the screen.
Merge pull request #13 from jannah/DIRK

Dirk