Massive multiple-input multiple-output base stations use multiple spatial diversity branches, which are often assumed to be uncorrelated in theoretical work. Correlated branches are seldom considered since they are ...