[Mine and associated buildings]