Verbesserungen des H(div)-Konvergenzbeweises

1 job for master in 3 minutes and 32 seconds (queued for 6 seconds)