K problematice názvů jestřebohorských uhelných dolů - Jirásek, Václav