Dol pri Hrastniku - населенный пункт в после заключения Сен-Жерменского договора, который принадлежал к и находился в административном районе Laško.
Dol pri Hrastniku ранее принадлежал к Германской империи. В составе Германской империи населенный пункт назывался Obertal. Сейчас населенный пункт называется Dol и принадлежит к Словения.