, Musiken af Hr Benda.