*****

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