https://123dok.net/document/yr314g7j-multilevel-preconditioners-hho-discretizations-stokes-equations-static-condensation.html