remains of old building at arabia mountain park in dekalb county georgia when it once was a quarry.