DE, New world record for the Miniatur Wunderland