Thanks for the info.. I have not yet met an Asian hornet, and think the one we had (had!) was a European one, as it was beautifully stripped. My daughter took photos, but was too nervous to get too close. After she saw it eating one of 'her' bees the hornet, I'm afraid to say, was chased away.
We have a lot of hornets here in Germany. As a boy growing up in the UK hornets were somewhat the 'boggy man', the creature which we told each other we had been chased by, but never really saw. Now I expect to see them regularly. They are actually not aggressive, nothing like a wasp, but I'm told that if you do get stung it is like being wacked on the head.
What struck me most was that it settled under the hive and was there every time I looked for the few days. I don't know if it went somewhere to a nest, or was maybe a lone wandering one, but it had certainly found a nice source of food. I wouldn't mind one eating a bit, but if the whole nest full came to dinner that would be pretty scary.