ENERGIELEITZENTRALE Aussi connu sous le nom Generatorenhalle; Alte Kranhalle;