Merge pull request #1675 from pymor/issue_944

Issue #944
13 jobs for main in 300 minutes and 44 seconds (queued for 2 seconds)