Badhuset » var försäkradt för 5,000 kr.,