Developers Diversified names mall manager