militärbadhuset ( längd 4,000 fot ).