Badinrättningens i Marstrand Restauration,