A counterexample to a compact embedding theorem for functions with values in a Hilbert space. (1996)