Existence of discrete-time LQG-controllers