Hungary’s flag was raised and then lowered to half-mast with military honours in front of...