Recht ex machina Formalisierung des Rechts im Internet der Dienste | EKB DL