Merge branch 'switch_to_ducc' of gitlab.mpcdf.mpg.de:ift/nifty into switch_to_ducc

12 jobs for switch_to_ducc in 25 minutes and 38 seconds (queued for 3 seconds)