Title: Safety in opencast mining