Has anyone from the U.K. been to Europa Park in Germany? Did you manage to book a package deal, or is it a DIY? Does anyone know if there’s a ‘theme hotel’ like Disney has? lastly, is it any good? Better than Disneyland Paris? Cheaper?