replaced DUNE_THROW_COLORFULLY by DUNE_THROW