är , vi upprepa det , ganska betydande , ridoren finnas badhus , ett större penteri samt ‘ hytter för restauratör och betjening.