Gigantic coal excavator from the DDR period – now a museum.