Category:Battles and operations of World War II involving Denmark