AW: von 7.1 auf 7.2 wie ?