tillsammans 526,735 och Österrikes ensamt 726,245 man.