Gr. Aréen och bergshauptmannen m . m.