Complexity of word problems for HNN-extensions - Markus Lohrey (2021)