/**
         * Retrieves a user with the specified user ID from Firestore.
         *
         * @param userId The ID of the user.
         * @return The user with the specified ID.