tree a7dc51ae37662f4bc4319af5442c33d99a45ac70
parent 50110f3eba9117e1a9fb495e77cb4a36e973db37
author margaretha <margaretha@ids-mannheim.de> 1431447957 +0200
committer margaretha <margaretha@ids-mannheim.de> 1434105931 +0100

Removed printing.

Change-Id: I4495080a08cebaa543e04cd03efd486da0f13505