Austria has 9 million people. Scaled up in proportion to US population, that's the equivalent of ~940 academics. Still not huge, but a somewhat bigger drop.