InformatikGustaf Neumann ×Physica × Datenmodellierung mit deduktiven Techniken Gustaf NeumannPhysicaSoftcover1994