Auf das Revisionsgesuch vom 20. November 2023 ist daher nicht einzutreten.

5. Unbegründetheit des Gesuchs
Ungeachtet dessen liegt kein Grund vor, der ein Zurückkommen auf den
Entscheid vom 12. Juli 2023 oder eine Neuverteilung der Prozesskosten
rechtfertigen würde.