( 3425 ) Dresden.