tree 4b97c62e70975f96b22d4a8c2a1728050bbbbdc2
parent c9f40e272c753b4f9d11b02adb6ba12c5f9c6221
author margaretha <margaretha@ids-mannheim.de> 1565271061 +0200
committer margaretha <margaretha@ids-mannheim.de> 1565271061 +0200

Resolved #40.

Change-Id: I94bcea2ec4807535cc026dc2c04a841e7441c415