varmbadhuset öfver 20,000 bad.