The Netherlands, Amsterdam, Marineterrein