Holstein-Ledreborg hade dragit sig tillbaka.