Som Nottingham ligger midt i ett kolgrufvedistrikt,