Doma stimmt dem Verkauf an Title Resources Group zu