Амстель, Гендрик фан Амстель, Гендрик фан шлюзовый мастер в России XVIII в. {Половцов} Большая биографическая энциклопедия