Die Schlagwetterexplosion auf dem Schachte Colonia der Zeche Mansfeld bei Langendreer am 20. Juli 1909 : nach amtlichen Quellen