German student jargon in the eighteenth and nineteenth centuries