Naming, remove unused variable assignment
Merge branch 'github-main' of github.com:plomino/Plomino into github-main
Really fix import (also replication)

The truth lies in between.