4. How much larger was the weekly GDP earned by the employed population of Ireland than Denmark (rounded to the near $ million)?