This is not related to the story as such, but I live in Aarhus and this is the first I hear about it. I read three national news outlets and one specific to my local region of Østjylland a couple of times a day. I wonder if I should swap some of them. I know about black trashbags being thrown out of a window in the white house and then I find an actually interesting non-tech story about something happening right outside my house here on HN...
Not exactly related to the story or to your comment, but: is Aarhus as happy and wonderful a place as all writing about it claims it is? I know immigrating to Denmark is nearly impossible, but I keep telling my partner that if (or when) the political situation in the US deteriorates sufficiently, Aarhus should be our destination -- that or Copenhagen.
Immigrating to Denmark is actually pretty easy if you have the right kind of education or get offered a job with a high enough (~$65000) pay. See the "Pay Limit schemes" and "Positive Lists" on this page:
https://nyidanmark.dk/en-GB/You-want-to-apply/WorkAnd as a reference, $65000 would be considered a preposterously low salary for a new STEM graduate in Denmark.