Merge branch 'master' of gitlab.ethz.ch:amiv/amiv-anniversary125-burger-tool

1 job for master in 27 seconds (queued for 147 minutes and 14 seconds)