Informatik : forsching und entwicklung.