Wem gehört die DEVK Versicherung?