2013-08-01:
a) fault handling integrated into the backend
b) help system of the frontend improved
Merge branch 'kreincke'