ANTWERPEN den 31 maj , Börsferie.