t S:t Thomas — GRaVESEND den 17 dec.