och platsen fick sedan namnet Marstrand eller Marias stranv.