How We Fully Restored a Fire-Damaged Cement Mixer in Our Workshop