Az István, a király című rockopera bemutatója 1983-ban a Királydombon