Why is the Kalman filter optimal — and when does it stop being optimal?

Explain in what precise sense the Kalman filter is *optimal*, the assumptions that guarantee this, and what specifically breaks when those assumptions are violated (as in the EKF). Be concrete about what 'optimal' means here.