has anyone done research of this type? my great-great grandfather worked in the mines there before he was killed in an accident. also does anyone know if delost is truly a croatian name? it doesn't sound croatian to me.