timmar äro stadgade i Marstrand , der 7 — 9f.