*****

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