The subset of HDNum relevant for the lecture Numerik0.
MOVED TO https://gitlab.dune-project.org/smuething/buildsetup
