Are you sure that's US dollars? Makes sense if it's florins, or whatever the Dutch side currency is now.