Einwohnerzahl von Halle/Saale 2023