here in DK I heard it on the radionews about 22:00, while reading Popular Mechanics (in Danish: Populær Mekanik). Ran and told my sister and parents about it, we were very sad to hear about it, but as my father said, there is nothing we can do about it. Anyway, it was hard to fall asleep after that.
In Denmark is 15% tip always added to the bill as a result of negotiations between waiters organisation and the restaurants.