Bug#1083176: tipp10: system language

[Philipp Spitzer]

Just a short notice:

This system I discovered the bug was indeed a German Debian system, 
whereas the system I was debugging and where I reported the bug from is 
English per default.

Therefore I stared the program with

LANGUAGE=de tipp10