They're mentioned on a dedicated page about uncommon Danish plugs and sockets [1].

[1] https://www.plugsocketmuseum.nl/Danish2.html