krafter , pumpkraft 1,800 tons i timmen ; 80 tons gr. , 220 ind.