var den explosion , som egde rum i grufschaktet Kaiserstuhl den ) 9 augusti.