What part of the Chathedral of Saint Martin was finished in the 13th century