Concrete absorbs petroleum spills. You may need to identify areas that are stained and do a thorough cleaning to try to extract as much as possible.

Yeah, also: The walls are covered with vapor-permeable lime plaster. the idea is to let a contractor specialized in this knock it all off. I have heard that there‘s probably lead in there from leaded gasoline, could be bad for health.