( 3408 ) Dederingska lokalen.