Actually I said I used Spanish paprika, which is not the same. There are several types of Hungarian paprika, ranging in colour, sweetness and heat. The goulash I had in Austria was an intense, bright red. There is an article here
http://www.thekitchn.com/whats-the-difference-hot-sweet-68134 which compares the different types of Hungarian paprika. I would hazard a guess and say the paprika in the goulash we had was probably either
édesnemes (the type normally sold in the USA) or
különleges. The main problem in the UK is getting Hungarian paprika at all - most of it is Spanish paprika - but there are a few online suppliers.