Del Hospital «El Lavadero» al Hospital «Villa Baviera». Reconstrucción historiográfica del Hospital de Colonia Dignidad