Ha nem tévedek, akkor az egykori királdi szénbánya kiszolgáló épületei.