antagligen under en kortare tid Marstrands uppfriskande bad att begagnas.