( 6217 ) Wilhelmsdal.