Pre-cast concrete elements