Rotterdam den ) 5 Juli.