Second-order optimality conditions for time-optimal control problems governed by semilinear parabolic equations | Synapse