»König Ödipus«