minor correction; It’s 10k DKK (about 1500$) in cash equivalents… So you have to “eat your bricks first” (as the saying goes for those who own property).