I configured petsc with mumps. How can I use it? I do not seem to find any hints in the documentation, and naive -ksp_type mumps fails with an error "Unknown type" Any hints are appreciated. Dominik