[dune-stuff] functions refactor is master again
[dune-pymor] minor update