fixed: write(#DEL.) did not work --- added: Key.dump(): get a list of keynames for write()