i en kolbod , som , enligt uppgift , skulle innehålla omkring 5,000 tunnor stenkol.