Ausbau der Hinterstraße: Zu verwendendes Betonsteinpflaster