K-amenability of HNN extensions of amenable discrete quantum groups

We construct HNN extensions of discrete quantum groups, we study their representation theory and we show that an HNN extension of amenable discrete quantum groups is K-amenable.