Josefine (music theater edition)