The German police restore order and discipline. They don't joke.