The name `` Hockenheim '' itself appeared first in 1238 in official documents .
The name `` Hockenheim '' was first used in official documents in 1238 .