Das Bauhauptgewerbe hat im Oktober einen Rekord beim Auftragseingang aufgestellt. Das hat das Statistische Bundesamt (Destatis) herausgefunden.