Where was the English TV comedy series "Hi De Hi" set?
holiday camp