Ist Hilbert noch der richtige OB für Dresden?