gruftimmer och pitprops äro mycket stora.