'Alma Libre!' in the Berlin Philharmonic