Merge remote-tracking branch 'origin/NIFTy_5' into documentation_feedback

9 jobs for documentation_feedback in 9 minutes and 25 seconds (queued for 3 seconds)