If East Austria remains under Soviet occupation after 1955 (which would mean no Soviet offer to withdraw from there in exchange for permanent Austrian neutrality)  is West Austria going to join West Germany or is West Austria going to remain its own independent state?