How much Al in the AlGaAs–GaAs laser?