use Dune::array instead of a C-style array