*****

(Die zuständigen Bediensteten nehmen die Stimmenzählung vor. – Die Sitzung wird um 12.12 Uhr unterbrochen und um 12.17 Uhr wieder aufgenommen.)