sju grufingeniorer skola åtnjuta årligt arvode till belopp af 1,500 kronor samt rese- och traktamentsersättning för resor , i enlighet med hvad tor bergmästareär