Wie viele Bauunternehmen gibt es in Deutschland?