Rockbursts in coal mines and prevention by Brauner