BUDAPEST den 4 juni.