Por eso PaK 80 y PjK 80 eran nombres temporales, como K81/x.