b) důlní otřes a takový otřesový jev¹³), při kterém došlo k pracovnímu úrazu,