structure Dbms :> DBMS_CONFIG = struct val dbmsNode = "fritz" end