Update Verfahren.md

Add Definitions Monad