Merge branch 'dev' of git.rwth-aachen.de:plotid/plotid_python into dev

3 jobs for dev in 55 seconds (queued for 3 seconds)