för Gringesbergsbolaget , och mätande 99 meter i längd , 12,2 m . i bredd och 5,5 m . djupgående.