Neuer Armeechef Michel Hofman offiziell ins Amt eingeführt