US tax return requires a Dutch tax return!