dödsdomen — Bayonne den 12 Juli.