What I didnīt know - just read now - our total REM time starts out with 9 hours as newborns - and towards the eighth year - it goes down to about three hours, and does not change much from then on (German Wikipedia).