Bergbau im Bergland Das Waldenburger Revier - Diesing, Norbert