Carmen, The National Theatre in Prague