Added "marie-" in workspace names where missing.

Closes #341 (closed)

changed milestone to %Meeting-2022-07-13

assigned to @s2817051--tu-dresden.de

requested review from @rotscher--tu-dresden.de

merged

mentioned in commit 58b226ac