Baukonjunktur im Oktober: Umsätze weiterhin stabil