Naam klooster: Domus sancti Pauli, Rooklooster