Frederic the Great, king of Prussia.