"Stern-Brocot tree" Deutsche bedeutung