TRAVEMijNDE den 9 juni.