Hotking menù, Den Haag