/*
 * Copyright (c) 1999-2000 Andreas Eberhart. All Rights Reserved.
 */

module Beispiel {
    interface Server {
        string getTime();
    };
};