Alexander Reinefeld Spielbaum-Suchverfahren Informatik-Fachberichte 200 Springer 1989 3-540-50742-6