Dear all, I opened a merge request for a new feature: > https://gitlab.dune-project.org/core/dune-common/merge_requests/3 Please have a look. If nobody complains I'm going to merge this soon. I need it in a couple of projects and it can be used in the furture in dune-istl. Christian