Recht ex machina: Formalisierung des Rechts im Internet der Dienste | DealShopping Deutschland