Historical dictionary of Denmark by Alastair H. Thomas