Selbstverständlich geht es hier um ein Bergwerk, Benutzer Pittiman. Trotzdem ist ein Link von Steinkohlebergwerk auf Steinkohlebergbau zielführender als einer auf den allgemeinen Begriff Bergwerk. Nicht ohne Grund leitet Steinkohlebergwerk ja auch bisher schon auf Steinkohlebergbau weiter - und nicht etwa auf Bergwerk. Wer immer das so angelegt hat (ich war es nicht), hat sich etwas Richtiges dabei gedacht. -- Prügelprinz 14:11, 1. Apr. 2016 (CEST)