jetzt das richtige .maude Skript