Total area of Denmark