1. Dutch government buildings flew the flag at half-mast on 18 July.
네덜란드 정부 건물은 7월 18일에 조기를 게양한다고 밝혔다.