/* Werkstatt: Überschreibungen der Tokens (generiert – nicht von Hand bearbeiten, sondern werkstatt/) */