German police union wants AI support after Hamburg knife attack