Quantum Theory, Interpretation Problem, Kochen-Specker-Theorem, Bell's Inequality, Realism, Beables, Logic, Probability