Installing iOS 5.1 simulator on XCode 5.1

After upgrading to XCode 5.1, the iOS 5.1 simulator has been removed. You can restore it by using this procedure:

http://stackoverflow.com/questions/22479215/install-ios-5-simulator-to-xcode-5-1