The Berlin Philharmonic: the Digital Concert Hall