German #WWDC Ticket price: EUR 1199, no purchase possible (yet)