Detailverbesserungen beim H(div)-MG-Konvergenzbeweis

1 job for master in 3 minutes and 26 seconds (queued for 5 seconds)