workspace = Arbeitsfläche { $number }
new-workspace = Neue Arbeitsfläche