design-basis depressurization accident