Gedrosselte Lüftung macht Philharmonie Paris coronasicherer