Naam klooster: Domus sancti Martini, Sint-Maartensdal