Micaelis arcangeli in portu de Vermelio, in ora maris, cum suos morturos ad illa pertinente"».