DO $$DECLARE
   this_version CONSTANT varchar := '00.01.042';
BEGIN
   PERFORM * FROM "DBVersion" WHERE version = this_version;
   IF FOUND THEN RETURN; END IF;

    ALTER TABLE public.usersettings
        RENAME TO "UserSettings";

    INSERT INTO public."DBVersion" VALUES ('DMPDB', '00.01.042', '2023-12-06 12:00:00.000000+02', now(), 'Rename usersettings Table to UserSettings.');

END$$;