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

12 jobs for fix_random in 11 minutes and 50 seconds (queued for 2 seconds)