Update partial-dekker11.txt