Merge remote-tracking branch 'dev/NIFTy_5' into NIFTy_5

10 jobs for NIFTy_5 in 13 seconds (queued for 2 seconds)