The English term "pause" matches the Dutch term "pauzeren"