Yes, we had a late and slow start but the pace has now picked up. Today, in Germany, we had a bit more than half a million shots administered. On the 14th it was in excess of 700k shots given on that day. Considering Germany's population is about one quarter of that of the U.S. the numbers are not terrible anymore. As deliveries are scheduled to increase even more in the coming weeks I think every adult who wants the vaccine can have their first shot by some time in July. So I think we are only about two months behind the U.S. Having said that, not everyone will have had their second shot by the summer so I still expect a depressed international travel market this summer.