I would rather the users all realize it's a nazi bar and stop using it, but that's never going to happen. Too many people are oblivious, don't care, or are pro-nazi. Shutting down the nazi bar with the power of the state is acceptable to me.