/examples/schaefer_turek_durst_krause_rannbacher/.nix/