Introducing the IDS Device Manager