"residual heat removal pump" Deutsche bedeutung