tree f3f189995b706744c8e2946e852fbdbdda071815
parent 638a2b8fd1f41f31863df7547604a44aac308c05
author margaretha <margaretha@ids-mannheim.de> 1498833140 +0200
committer margaretha <margaretha@ids-mannheim.de> 1498833140 +0200

Removed unnecessary text in printing.

Change-Id: I95ed29336a8f48ae952bfaabacc11f3a9f10c31e