Ministerie van defensie in Huis ter Duin.