https://5dok.net/document/6qmpk15q-optimal-convergence-adaptive-fem-eigenvalue-clusters-mixed-form.html