War, Mutiny and Revolution in the German Navy