Merge branch 'feature/local_operator' into 'develop'

Feature/local operator

See merge request !24
1 job for develop in 3 minutes and 24 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #6030
dune:git--gcc

00:03:24