Hrastovec - населенный пункт в до заключения Сен-Жерменского договора, который принадлежал к и находился в административном районе Marburg/Maribor.
Hrastovec ранее принадлежал к Германской империи. В составе Германской империи населенный пункт назывался NN. Сейчас населенный пункт называется Hrastovec и принадлежит к Словения.