skulle komma att besättas af österrikiska trupper.