TOC |
|
This Internet-Draft is submitted to IETF in full conformance with the provisions of BCP 78 and BCP 79. This document may contain material from IETF Documents or IETF Contributions published or made publicly available before November 10, 2008. The person(s) controlling the copyright in some of this material may not have granted the IETF Trust the right to allow modifications of such material outside the IETF Standards Process. Without obtaining an adequate license from the person(s) controlling the copyright in such materials, this document may not be modified outside the IETF Standards Process, and derivative works of it may not be created outside the IETF Standards Process, except to format it for publication as an RFC or to translate it into languages other than English.
Internet-Drafts are working documents of the Internet Engineering Task Force (IETF), its areas, and its working groups. Note that other groups may also distribute working documents as Internet-Drafts.
Internet-Drafts are draft documents valid for a maximum of six months and may be updated, replaced, or obsoleted by other documents at any time. It is inappropriate to use Internet-Drafts as reference material or to cite them other than as “work in progress.”
The list of current Internet-Drafts can be accessed at http://www.ietf.org/ietf/1id-abstracts.txt.
The list of Internet-Draft Shadow Directories can be accessed at http://www.ietf.org/shadow.html.
This Internet-Draft will expire on March 29, 2010.
Copyright (c) 2009 IETF Trust and the persons identified as the document authors. All rights reserved.
This document is subject to BCP 78 and the IETF Trust's Legal Provisions Relating to IETF Documents in effect on the date of publication of this document (http://trustee.ietf.org/license-info). Please review these documents carefully, as they describe your rights and restrictions with respect to this document.
The objective of the pre-congestion notification (PCN) architecture is to protect the QoS of inelastic flows within a Diffserv domain. It achieves this by marking packets belonging to PCN-flows when the rate of traffic exceeds certain configured thresholds on links in the domain. These marks can then be evaluated to determine how close the domain is to being congested. This document specifies how such marks are encoded into the IP header by redefining the Explicit Congestion Notification (ECN) codepoints within such domains. The baseline encoding described here provides only two PCN encoding states: not-marked and PCN-marked. Future extensions to this encoding may be needed in order to provide more than one level of marking severity.
1.
Introduction
2.
Requirements notation
3.
Terminology and Abbreviations
3.1.
List of Abbreviations
4.
Encoding two PCN States in IP
4.1.
Marking Packets
4.2.
Valid and Invalid Codepoint Transitions
4.3.
Rationale for Encoding
4.4.
PCN-Compatible Diffserv Codepoints
4.4.1.
Co-existence of PCN and not-PCN traffic
5.
Rules for Experimental Encoding Schemes
6.
Backwards Compatibility
7.
IANA Considerations
8.
Security Considerations
9.
Conclusions
10.
Acknowledgements
11.
Comments Solicited
12.
References
12.1.
Normative References
12.2.
Informative References
Appendix A.
PCN Deployment Considerations (Informational)
A.1.
Choice of Suitable DSCPs
A.2.
Rationale for Using ECT(0) for Not-marked
Appendix B.
Co-existence of PCN and ECN (Informational)
TOC |
The objective of the Pre-Congestion Notification (PCN) Architecture [RFC5559] (Eardley, P., “Pre-Congestion Notification (PCN) Architecture,” June 2009.) is to protect the quality of service (QoS) of inelastic flows within a Diffserv domain, in a simple, scalable and robust fashion. The overall rate of the PCN-traffic is metered on every link in the PCN-domain, and PCN-packets are appropriately marked when certain configured rates are exceeded. These configured rates are below the rate of the link thus providing notification before any congestion occurs (hence “pre-congestion notification”). The level of marking allows the boundary nodes to make decisions about whether to admit or block a new flow request, and (in abnormal circumstances) whether to terminate some of the existing flows, thereby protecting the QoS of previously admitted flows.
This document specifies how these PCN-marks are encoded into the IP header by re-using the bits of the Explicit Congestion Notification (ECN) field [RFC3168] (Ramakrishnan, K., Floyd, S., and D. Black, “The Addition of Explicit Congestion Notification (ECN) to IP,” September 2001.). It also describes how packets are identified as belonging to a PCN-flow. Some deployment models require two PCN encoding states, others require more. The baseline encoding described here only provides for two PCN encoding states. However the encoding can be easily extended to provide more states. Rules for such extensions are given in Section 5 (Rules for Experimental Encoding Schemes).
Changes from previous drafts (to be removed by the RFC Editor):
- From -06 to -07:
- Changes made following IESG review comments.
- Changed Section 4 (Encoding two PCN States in IP) and added Appendix B (Co-existence of PCN and ECN (Informational)) to clarify the correct behaviour when handling packets that already have values other than not-ECT in their ECN field.
- Added paragraph to end of Section 6 (Backwards Compatibility) clarifying that a PCN-domain has "hard" edges.
- From -05 to -06:
- Extensive changes to the text following IETF Last Call and Gen-ART review comments.
- Abstract updated following mailing list discussions after Gen-ART review by Spencer Dawkins.
- Added list of abbreviations
- New [section 4.1] added to explain the required action when a node indicates the need to mark a packet.
- Clarified text and Table 2 in Section 4.2 (Valid and Invalid Codepoint Transitions).
- Improved explanation of rules for experimental encoding schemes in Section 5 (Rules for Experimental Encoding Schemes). Removed any ambiguity about meaning of PCN-marked in such a context. Added requirements for experimental schemes to define which meter causes which mark.
- Clarified text in Section 6 (Backwards Compatibility) relating to support for e2e ECN.
- Added text in Section 8 (Security Considerations) relating to injection of PCN-marks into the PCN-domain.
- Changed text of Appendix A.1 (Choice of Suitable DSCPs) to reflect comments from Spencer Dawkins and Philip Eardley.
- From -04 to -05:
- Clarified throughout that the PCN WG is not requesting a specific DSCP for PCN. Rather we are recommending a set of DSCPs that might be suitable. Appendix A.1 (Choice of Suitable DSCPs) has been re-written to reflect this. References to maintaining a list of PCN-compatible DSCPs have also been removed.
- Last sentence of Section 6 (Backwards Compatibility) altered.
- Several spelling corrections.
- References updated throughout.
- From -03 to -04:
- Major WGLC comments addressed:
- Added Section 4.4.1 (Co-existence of PCN and not-PCN traffic) to clarify why we need the not-PCN codepoint.
- Stated that the PCN WG will maintain a list of PCN-compatible DSCPs. This should help avoid inter-operability issues.
- Also addressed a number of WGLC nits.
- From -02 to -03:
- Extensive changes to address comments made by Gorry Fairhurst including:
- Abstract re-written.
- Clarified throughout that this re-uses the ECN bits in the IP header.
- Re-arranged order of terminology section for clarity.
- Table 2 replaced with new table and text.
- Security considerations re-written.
- Appendixes re-written to improve clarity.
- Numerous minor nits and language changes throughout.
- Extensive other minor changes throughout.
- From -01 to -02:
- Removed Appendix A and replaced with reference to [I‑D.ietf‑tsvwg‑ecn‑tunnel] (Briscoe, B., “Tunnelling of Explicit Congestion Notification,” July 2009.)
- Moved Appendix B into main body of text.
- Changed Appendix C to give deployment advice.
- Minor changes throughout including checking consistency of capitalisation of defined terms.
- Clarified that LU was deliberately excluded from encoding.
- From -00 to -01:
- Added section on restrictions for extension encoding schemes.
- Included table in Appendix showing encoding transitions at different PCN nodes.
- Checked for consistency of terminology.
- Minor language changes for clarity.
- Changes from previous filename
- Filename changed from draft-moncaster-pcn-baseline-encoding.
- Terminology changed for clarity (PCN-compatible DSCP and PCN-enabled packet).
- Minor changes throughout.
- Modified meaning of ECT(1) state to EXP.
- Moved text relevant to behaviour of nodes into appendix for later transfer to new document on edge behaviours.
- From draft-moncaster -01 to -02:
- Minor changes throughout including tightening up language to remain consistent with the PCN Architecture terminology.
- From draft-moncaster -00 to -01:
- Change of title from "Encoding and Transport of (Pre-)Congestion Information from within a Diffserv Domain to the Egress"
- Extensive changes to Introduction and abstract.
- Added a section on the implications of re-using a DSCP.
- Added appendix listing possible operator scenarios for using this baseline encoding.
- Minor changes throughout.
TOC |
The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in [RFC2119] (Bradner, S., “Key words for use in RFCs to Indicate Requirement Levels,” March 1997.).
TOC |
The following terms are defined in this document:
In addition, the document uses the terminology defined in [RFC5559] (Eardley, P., “Pre-Congestion Notification (PCN) Architecture,” June 2009.).
TOC |
The following abbreviations are used in this document:
TOC |
The PCN encoding states are defined using a combination of the DSCP and ECN fields within the IP header. The baseline PCN encoding closely follows the semantics of ECN [RFC3168]. It allows the encoding of two PCN states: Not-marked and PCN-marked. It also allows for traffic that is not PCN-capable to be marked as such (not-PCN). Given the scarcity of codepoints within the IP header the baseline encoding leaves one codepoint free for experimental use. The following table defines how to encode these states in IP:
ECN codepoint | Not-ECT (00) | ECT(0) (10) | ECT(1) (01) | CE (11) |
---|---|---|---|---|
DSCP n | not-PCN | NM | EXP | PM |
Where DSCP n is a PCN-compatible Diffserv codepoint (see Section 4.4 (PCN-Compatible Diffserv Codepoints)) and EXP means available for Experimental use. N.B. we deliberately reserve this codepoint for experimental use only (and not local use) to prevent future compatibility issues.
Table 1: Encoding PCN in IP |
The following rules apply to all PCN traffic:
TOC |
[I‑D.ietf‑pcn‑marking‑behaviour] (Eardley, P., “Metering and marking behaviour of PCN-nodes,” August 2009.) states that any encoding scheme document must specify the required action to take if one of the marking algorithms indicates that a packet needs to be marked. For the baseline encoding scheme the required action is simply as follows:
TOC |
A PCN-ingress-node MUST set the Not-marked (10) codepoint on any arriving packet that belongs to a PCN-flow. It MUST set the not-PCN (00) codepoint on all other packets sharing a PCN-compatible Diffserv codepoint.
The only valid codepoint transitions within a PCN-interior-node are from NM to PM (which should occur if either meter indicates a need to PCN-mark a packet [I‑D.ietf‑pcn‑marking‑behaviour] (Eardley, P., “Metering and marking behaviour of PCN-nodes,” August 2009.)) and from EXP to PM. PCN-nodes that only implement the baseline encoding MUST be able to PCN mark packets that arrive with the EXP codepoint. This should ease the design of experimental schemes that want to allow partial deployment of experimental nodes alongside nodes that only implement the baseline encoding. The following table gives the full set of valid and invalid codepoint transitions.
+-------------------------------------------------+ | Codepoint Out | +--------------+-------------+-----------+-----------+-----------+ | Codepoint in | not-PCN(00) | NM(10) | EXP(01) | PM(11) | +--------------+-------------+-----------+-----------+-----------+ | not-PCN(00) | Valid | Not valid | Not valid | Not valid | +--------------+-------------+-----------+-----------+-----------+ | NM(10) | Not valid | Valid | Not valid | Valid | +--------------+-------------+-----------+-----------+-----------+ | EXP(01)* | Not valid | Not valid | Valid | Valid | +--------------+-------------+-----------+-----------+-----------+ | PM(11) | Not valid | Not valid | Not valid | Valid | +--------------+-------------+-----------+-----------+-----------+ * This MAY cause an alarm to be raised at a management layer. See paragraph above for an explanation of this transition. Table 2: Valid and Invalid Codepoint Transitions for PCN-packets at PCN-interior-nodes
The codepoint transition constraints given here apply only to the baseline encoding scheme. Constraints on codepoint transitions for future experimental schemes are discussed in Section 5 (Rules for Experimental Encoding Schemes).
A PCN-egress-node SHOULD set the not-PCN (00) codepoint on all packets it forwards out of the PCN-domain. The only exception to this is if the PCN-egress-node is certain that revealing other codepoints outside the PCN-domain won't contravene the guidance given in [RFC4774]. For instance if the PCN-ingress-node has explicitly informed the PCN-egress-node that this flow is ECN-capable then it might be safe to expose other codepoints.
TOC |
The exact choice of encoding was dictated by the constraints imposed by existing IETF RFCs, in particular [RFC3168] (Ramakrishnan, K., Floyd, S., and D. Black, “The Addition of Explicit Congestion Notification (ECN) to IP,” September 2001.), [RFC4301] (Kent, S. and K. Seo, “Security Architecture for the Internet Protocol,” December 2005.) and [RFC4774] (Floyd, S., “Specifying Alternate Semantics for the Explicit Congestion Notification (ECN) Field,” November 2006.). One of the tightest constraints was the need for any PCN encoding to survive being tunnelled through either an IP in IP tunnel or an IPsec Tunnel. [I‑D.ietf‑tsvwg‑ecn‑tunnel] (Briscoe, B., “Tunnelling of Explicit Congestion Notification,” July 2009.) explains this in more detail. The main effect of this constraint is that any PCN marking has to carry the 11 codepoint in the ECN field since this is the only codepoint that is guaranteed to be copied down into the inner header upon decapsulation. An additional constraint is the need to minimise the use of Diffserv codepoints because there is a limited supply of standards track codepoints remaining. Section 4.4 (PCN-Compatible Diffserv Codepoints) explains how we have minimised this still further by reusing pre-existing Diffserv codepoint(s) such that non-PCN traffic can still be distinguished from PCN traffic.
There are a number of factors that were considered before choosing to set 10 as the NM state instead of 01. These included similarity to ECN, presence of tunnels within the domain, leakage into and out of PCN-domain and incremental deployment (see Appendix A.2 (Rationale for Using ECT(0) for Not-marked)).
The encoding scheme above seems to meet all these constraints and ends up looking very similar to ECN. This is perhaps not surprising given the similarity in architectural intent between PCN and ECN.
TOC |
Equipment complying with the baseline PCN encoding MUST allow PCN to be enabled for certain Diffserv codepoints. This document defines the term "PCN-compatible Diffserv codepoint" for such a DSCP. To be clear, any packets with such a DSCP will be PCN enabled only if they are within a PCN-domain and have their ECN field set to indicate a codepoint other than not-PCN.
Enabling PCN marking behaviour for a specific DSCP disables any other marking behaviour (e.g. enabling PCN replaces the default ECN marking behaviour introduced in [RFC3168] (Ramakrishnan, K., Floyd, S., and D. Black, “The Addition of Explicit Congestion Notification (ECN) to IP,” September 2001.)) with the PCN metering and marking behaviours described in [I‑D.ietf‑pcn‑marking‑behaviour] (Eardley, P., “Metering and marking behaviour of PCN-nodes,” August 2009.)). This ensures compliance with the BCP guidance set out in [RFC4774] (Floyd, S., “Specifying Alternate Semantics for the Explicit Congestion Notification (ECN) Field,” November 2006.).
The PCN Working Group has chosen not to define a single DSCP for use with PCN for several reasons. Firstly the PCN mechanism is applicable to a variety of different traffic classes. Secondly standards track DSCPs are in increasingly short supply. Thirdly PCN is not a scheduling behaviour - rather it should be seen as being essentially a marking behaviour similar to ECN but intended for inelastic traffic. More details are given in the informational Appendix A.1 (Choice of Suitable DSCPs).
TOC |
The scarcity of pool 1 DSCPs coupled with the fact that PCN is envisaged as a marking behaviour that could be applied to a number of different DSCPs makes it essential that we provide a not-PCN state. As stated above (and expanded in Appendix A.1 (Choice of Suitable DSCPs)) the aim is for PCN to re-use existing DSCPs. Because PCN re-defines the meaning of the ECN field for such DSCPs it is important to allow an operator to still use the DSCP for traffic that isn't PCN-enabled. This is achieved by providing a not-PCN state within the encoding scheme. S3.5 of [RFC5559] (Eardley, P., “Pre-Congestion Notification (PCN) Architecture,” June 2009.) discusses how competing-non-PCN-traffic should be handled.
TOC |
Any experimental encoding scheme MUST follow these rules to ensure backward compatibility with this baseline scheme:
TOC |
BCP 124 [RFC4774] (Floyd, S., “Specifying Alternate Semantics for the Explicit Congestion Notification (ECN) Field,” November 2006.) gives guidelines for specifying alternative semantics for the ECN field. It sets out a number of factors to be taken into consideration. It also suggests various techniques to allow the co-existence of default ECN and alternative ECN semantics. The baseline encoding specified in this document defines PCN-compatible Diffserv codepoints as no longer supporting the default ECN semantics. As such this document is compatible with BCP 124.
On its own, this baseline encoding cannot support both ECN marking end to end and PCN marking within a PCN-domain. It is possible to do this by carrying e2e ECN across a PCN domain within the inner header of an IP in IP tunnel, or by using a richer encoding such as the proposed experimental scheme in [I‑D.ietf‑pcn‑3‑state‑encoding] (Moncaster, T., Briscoe, B., and M. Menth, “A PCN encoding using 2 DSCPs to provide 3 or more states,” April 2009.).
In any PCN deployment, traffic can only enter the PCN-Domain through PCN-ingress-nodes and leave through PCN-egress-nodes. PCN-ingress-nodes ensure that any packets entering the PCN- domain have the ECN-field in their outermost IP header set to the appropriate PCN codepoint. PCN-egress-nodes then guarantee that the ECN-field of any packet leaving the PCN-domain has the correct ECN semantics. This prevents leakage of ECN marks into or out of the PCN-domain and thus reduces backward compatibility issues.
TOC |
This document makes no request to IANA.
TOC |
PCN-marking only carries a meaning within the confines of a PCN-domain. This encoding document is intended to stand independently of the architecture used to determine how specific packets are authorised to be PCN-marked, which will be described in separate documents on PCN-boundary-node behaviour.
This document assumes the PCN-domain to be entirely under the control of a single operator, or a set of operators who trust each other. However future extensions to PCN might include inter-domain versions where trust cannot be assumed between domains. If such schemes are proposed they must ensure that they can operate securely despite the lack of trust. However such considerations are beyond the scope of this document.
One potential security concern is the injection of spurious PCN-marks into the PCN-domain. However these can only enter the domain if a PCN-ingress-node is misconfigured. The precise impact of any such misconfiguration will depend on which of the proposed PCN-boundary-node behaviour schemes is used, but in general spurious marks will lead to admitting fewer flows into the domain or potentially terminating too many flows. In either case good management should be able to quickly spot the problem since the overall utilisation of the domain will rapidly fall.
TOC |
This document defines the baseline PCN encoding utilising a combination of a PCN-enabled DSCP and the ECN field in the IP header. This baseline encoding allows the existence of two PCN encoding states, not-Marked and PCN-marked. It also allows for the co-existence of competing traffic within the same DSCP so long as that traffic does not require ECN support within the PCN-domain. The encoding scheme is conformant with [RFC4774] (Floyd, S., “Specifying Alternate Semantics for the Explicit Congestion Notification (ECN) Field,” November 2006.). The Working Group has chosen not to define a single DSCP for use with PCN. The rationale for this decision along with advice relating to choice of suitable DSCPs can be found in Appendix A.1 (Choice of Suitable DSCPs).
TOC |
This document builds extensively on work done in the PCN working group by Kwok Ho Chan, Georgios Karagiannis, Philip Eardley, Anna Charny, Joe Babiarz and others. Thanks to Ruediger Geib and Gorry Fairhurst for providing detailed comments on this document.
TOC |
(To be removed by the RFC-Editor.) Comments and questions are encouraged and very welcome. They can be addressed to the IETF congestion and pre-congestion working group mailing list <pcn@ietf.org>, and/or to the authors.
TOC |
TOC |
[I-D.ietf-pcn-marking-behaviour] | Eardley, P., “Metering and marking behaviour of PCN-nodes,” draft-ietf-pcn-marking-behaviour-05 (work in progress), August 2009 (TXT). |
[RFC2119] | Bradner, S., “Key words for use in RFCs to Indicate Requirement Levels,” BCP 14, RFC 2119, March 1997 (TXT, HTML, XML). |
[RFC3168] | Ramakrishnan, K., Floyd, S., and D. Black, “The Addition of Explicit Congestion Notification (ECN) to IP,” RFC 3168, September 2001 (TXT). |
[RFC4774] | Floyd, S., “Specifying Alternate Semantics for the Explicit Congestion Notification (ECN) Field,” BCP 124, RFC 4774, November 2006 (TXT). |
TOC |
TOC |
TOC |
The PCN Working Group chose not to define a single DSCP for use with PCN for several reasons. Firstly the PCN mechanism is applicable to a variety of different traffic classes. Secondly standards track DSCPs are in increasingly short supply. Thirdly PCN is not a scheduling behaviour - rather it should be seen as being a marking behaviour similar to ECN but intended for inelastic traffic. The choice of which DSCP is most suitable for a given PCN-domain is dependent on the nature of the traffic entering that domain and the link rates of all the links making up that domain. In PCN-domains with sufficient aggregation, the appropriate DSCPs would currently be those for the Real Time Treatment Aggregate [RFC5127] (Chan, K., Babiarz, J., and F. Baker, “Aggregation of DiffServ Service Classes,” February 2008.). The PCN Working Group suggests using admission control for the following service classes (defined in [RFC4594] (Babiarz, J., Chan, K., and F. Baker, “Configuration Guidelines for DiffServ Service Classes,” August 2006.)):
CS5 is excluded from this list since PCN is not expected to be applied to signalling traffic.
PCN marking is intended to provide a scalable admission control mechanism for traffic with a high degree of statistical multiplexing. PCN marking would therefore be appropriate to apply to traffic in the above classes, but only within a PCN-domain containing sufficiently aggregated traffic. In such cases, the above service classes may well all be subject to a single forwarding treatment (treatment aggregate [RFC5127] (Chan, K., Babiarz, J., and F. Baker, “Aggregation of DiffServ Service Classes,” February 2008.)). However, this does not imply all such IP traffic would necessarily be identified by one DSCP - each service class might keep a distinct DSCP within the highly aggregated region [RFC5127] (Chan, K., Babiarz, J., and F. Baker, “Aggregation of DiffServ Service Classes,” February 2008.).
Additional service classes may be defined for which admission control is appropriate, whether through some future standards action or through local use by certain operators, e.g. the Multimedia Streaming service class (AF3). This document does not preclude the use of PCN in more cases than those listed above.
NOTE: The above discussion is informative not normative, as operators are ultimately free to decide whether to use admission control for certain service classes and whether to use PCN as their mechanism of choice.
TOC |
The choice of which ECT codepoint to use for the Not-marked state was based on the following considerations:
Overall this seemed to suggest ECT(0) was most appropriate to use.
TOC |
This baseline encoding scheme redefines the ECN codepoints within the PCN-domain. As packets with a PCN-compatible DSCP leave the PCN-domain, their ECN field is reset to not-ECT (00). This is a problem for the operator if packets with a PCN-compatible DSCP arrive at the PCN-domain with any ECN codepoint other than not-ECN. If the ECN-codepoint is ECT(0) (10) or ECT(1) (01), resetting the ECN field to 00 effectively turns off end-to-end ECN. This is undesirable as it removes the benefits of ECN but [RFC3168] (Ramakrishnan, K., Floyd, S., and D. Black, “The Addition of Explicit Congestion Notification (ECN) to IP,” September 2001.) states it is no worse than dropping the packet. However, if a packet was marked with CE (11), resetting the ECN field to 00 at the PCN egress node violates the rule that CE-marks must never be lost except as a result of packet drop [RFC3168] (Ramakrishnan, K., Floyd, S., and D. Black, “The Addition of Explicit Congestion Notification (ECN) to IP,” September 2001.).
A number of options exist to overcome this issue. The most appropriate option will depend on the circumstances and has to be a decision for the operator. The definition of the action is beyond the scope of this document but we briefly explain the four broad categories of solution below: tunnelling the packets, using an extended encoding scheme, signalling to the end-systems to stop using ECN or re-marking packets to a different DSCP.
TOC |
Toby Moncaster | |
BT | |
B54/70, Adastral Park | |
Martlesham Heath | |
Ipswich IP5 3RE | |
UK | |
Phone: | +44 1473 648734 |
EMail: | toby.moncaster@bt.com |
Bob Briscoe | |
BT | |
B54/77, Adastral Park | |
Martlesham Heath | |
Ipswich IP5 3RE | |
UK | |
Phone: | +44 1473 645196 |
EMail: | bob.briscoe@bt.com |
Michael Menth | |
University of Wuerzburg | |
room B206, Institute of Computer Science | |
Am Hubland | |
Wuerzburg D-97074 | |
Germany | |
Phone: | +49 931 888 6644 |
EMail: | menth@informatik.uni-wuerzburg.de |