Bergmästaren Johan Abraham Gplleihall,