added HS.dtx