— Hvad hette då den lycklige holländaren,