Was HeidelbergCement AG's (ETR:HEI) Earnings Decline Part Of A Broader Industry Downturn?