Kriget i Ungern är slut.