.
automatenverbot wceq