Historische schepen bij de scheepslift Henrichenburg.