infos über ippp* devices einholen (mehr als über /dev/isdninfo)