(of Time) large midday → zwölf Uhr mittags; it’s high time you went residence → es ist or wird höchste Zeit, dass du nach Hause gehst When there is a small leakage somewhere while in the system, the jockey pump will turn on to compensate for it. Each jockey pump https://firetechno.org