[MonetDB-users] minus 10 minutes from current_timestamp