half 12 f. m . , pst Börsen,