The use of the standard GUID format for URIs

The  Jan Tulke and Eike Tauscher formatter is used to give the URIs
standard look.