Nachspielzeit ist ermessenssache des schiedsrichters. die anzeige des vierten nur eine "empfehlung". der hätte auch nach 2 minuten abpfeifen können, obwohl 7 angezeigt waren. also alles regelkonform.
Ermessenssache ist richtig, aber meiner Ansicht nach muss er die angezeigte Zeit auf jeden Fall nachspielen lassen, darf allerdings beliebig verlängern (z.B. bei Zeitschinden).
Andererseits gibt der Schiri eigentlich kurz vor Schluss immer ein Zeichen nach außen, mit dem er die Zeit festlegt.