Hell made of stone: After 79 years, granite mining ends at the Flossenbürg concentration camp quarry – Bavaria