https://pad.stuve.uni-ulm.de/s/FObCDaBic Beginning with Documentation to Protection: The Value of a Formal Agent