et
      <span class="k">String</span> city
    }
  }
  <span class="k">Aggregate</span> CustomerFrontend {
    <span class="k">securityZone</span> <span class="s">&quot;Public&quot;</span>

    <span class="k">DomainEvent</span> AddressChanged {
      - <span class="k">Address</span> address
    }
  }
}
</pre></div>
