5月1日の欧州主要株式市場は、休場。