tree 1675ca82caada5942c6e553afd7fee6b7b75a0de
parent 4acf77b2eba6f70d6e970f0b63a1f0d336c158fa
author margaretha <margaretha@ids-mannheim.de> 1510519776 +0100
committer margaretha <margaretha@ids-mannheim.de> 1510519892 +0100

Added operations.

Change-Id: Ie963ab894bd2abbb28dd4d32eef911d8a3d6aaf9