Did you know that the staged version of Henze's radio opera Ein Landarzt , closely based on a short story by Kafka, premiered at the Frankfurt Opera ?