Wie viele Mitarbeiter hat die DEVK?