As of 31 July , it numbered some 11,000 troops under General Rainer Stahel .
As of 31 July , it had 11,000 troops under General Rainer Stahel .