[local.bin]
[dune-hdd]
[simdb]
[notebooks] update OS2014_greedy_detailed_discretization
[notebooks] add OS2014_greedy_reduced_estimator