I have three children and we are spending our vacation in Eindhoven. Is there an entertainment park nearby?