Update DEFT-pubs.json
Merge pull request #109 from mvonbargen/patch-17

Update DEFT-pubs.json