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

9 jobs for new_random in 6 minutes and 47 seconds (queued for 3 seconds)