I'm going to visit Eindhoven, Holland next week. Although I won't have much time for sightseeing, I was wondering if anyone can suggest some places worth checking, obviously related to WW2. I wish I...