Benbennesee (Bebensee), John