Mondfinsternis: Roter „Blutmond“ über München