The baby jumping festival is a traditional Spanish holiday.