War, Mutiny, and Revolution in the German Navy: The World War I Diary of Seaman Richard Stumpf