Changes to Augmented Operator
- 2018-10-16 07:25:17 UTC (): Status Deprecated
- 2018-09-16 20:47:00 UTC (): Arbeitskategorie, Webmeeting 31.8.18
- 2018-04-05 11:53:59 UTC (): Themenbereich_Industrie_40
- 2018-04-05 11:08:19 UTC (): no changes
- 2018-04-03 10:33:05 UTC (): augmented_operator
