It is the third Tuesday of September, so today is Prinsjesdag in the Netherlands. The usual ceremonies and traditions are ...