The English term "retire, quit" matches the Dutch term "aftreden"