Just a quickie, what would have happened if the Channel Dash had failed, and the Germans were either forced to turn back and/or some of the ships were actually sunk?