Hamburg stockt Personal für Verfassungsschutz deutlich auf – das ist richtig so.