Book sequences Ackermann Rolf