Possibly move Nav into Header element

MDN states the following
[The HTML element represents introductory content, typically a group of introductory or navigational aids ](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/header)
The header in the code coop site doesn't contain the nav, which can be found in the main.
Is there a reason we did it this way?

Ermittle die aktuellen header-, nav- und main-Elemente der Website, lies anschließend die verlinkten MDN-Leitlinien und vergleiche sie mit der bestehenden Struktur. Kläre mit den Maintainer:innen, ob nav in den header verschoben werden sollte; abgeschlossen ist die Aufgabe, wenn eine abgestimmte Entscheidung vorliegt und, falls dies akzeptiert wird, die entsprechende Änderung des semantischen Markups umgesetzt ist.

Vom Indexierungsmodell aus dem Issue-Text verfasst.