Revier

größere Abteilungseinheit eines Bergwerk, untersteht meist einem Reviersteiger