Thanks a lot to both of you!
In fact the tune is identical with the midi file (version 1) already contributed (see above). And it is, as already stated on this thread, derived from the ancient hymn "Ave Maris Stella"