Diversifying in Public Real Estate: the Ex-Post Performance