The one-loop functional as a Berezinian