I expected the managers of a managed group to automatically be managers of the devices in that group. As it seems I have to set a device manager for EVERY SINGLE MACHINE manually (or by writing a script using the api because this functionality is not included in the PS module either)! Is this really the case or did I miss something?