Industriegewerkschaft Bau, Steine, Erden im Gebiet der Bundesrepublik Deutschland