Danish holiday home prices hit record high as supply drops below 5,000