Update dkfz_setup.sh